منابع مشابه
Transversely Isotropic Saturated Porous Formations
The wavefields generated by monopole and dipole sources in a fluid filled borehole embedded in multilayered transversely isotropic saturated porous formations are studied. The layers are modeled following Biot theory modified in accordance with homogenization theory. It allows to take into account a transversely isotropic skeleton and/or a transversely isotropic complex permeability tensor. The...
متن کاملLanguages associated with saturated formations of groups
In a previous paper, the authors have shown that Eilenberg’s variety theorem can be extended to more general structures, called formations. In this paper, we give a general method to describe the languages corresponding to saturated formations of groups, which are widely studied in group theory. We recover in this way a number of known results about the languages corresponding to the classes of...
متن کاملPerformance Assessment for Normally Closed-loop Type Distribution Power Systems
The goal of this paper is to propose a performance assessment for normally closed-loop type distribution power systems. Pilot relaying systems have been successfully applied to the protection scheme for normally closed-loop distribution systems in the Taiwan Power Company (Taipower). This paper demonstrates that the proposed protection scheme is extremely well designed, such that both the numbe...
متن کاملSaturated O-minimal Expansions of Real Closed Fields
In [KKMZ02] the authors gave a valuation theoretic characterization for a real closed field to be κ-saturated, for a cardinal κ ≥ א0. In this paper, we generalize the result, giving necessary and sufficient conditions for certain o-minimal expansion of a real closed field to be κ-saturated.
متن کاملA Valuation Theoretic Characterization of Recursively saturated Real Closed Fields
We give a valuation theoretic characterization for a real closed field to be recursively saturated. This builds on work in in [KKMZ02], where the authors gave such a characterization for κ-saturation, for a cardinal κ ≥ א0. Our result extends the characterization of Harnik and Ressayre [HR] for a divisible ordered abelian group to be recursively saturated.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1972
ISSN: 0002-9939
DOI: 10.2307/2038057